Finite basis problem for semigroups of order six
نویسندگان
چکیده
منابع مشابه
Globals of Pseudovarieties of Commutative Semigroups: the Finite Basis Problem, Decidability, and Gaps
Whereas pseudovarieties of commutative semigroups are known to be nitely based, the globals of monoidal pseudovarieties of commutative semi-groups are shown to be nitely based (or of nite vertex rank) if and only if the index is 0, 1 or !. Nevertheless, on these pseudovarieties, the operation of taking the global preserves decidability. Furthermore, the gaps between many of these globals are sh...
متن کاملComplexity of the Identity Checking Problem for Finite Semigroups
We prove that the identity checking problem in a finite semigroup S is co-NP-complete whenever S has a nonsolvable subgroup or S is the semigroup of all transformations on a 3-element set. 1 Motivation and Main Results Many basic algorithmic questions in algebra whose decidability is well known and/or obvious give rise to fascinating and sometimes very hard problems if one looks for the computa...
متن کاملA Novel Finite Difference Method of Order Three for the Third Order Boundary Value Problem in ODEs
In this article we have developed third order exact finite difference method for the numerical solution of third order boundary value problems. We constructed our numerical technique without change in structure of the coefficient matrix of the second-order method in cite{Pand}. We have discussed convergence of the proposed method. Numerical experiments on model test problems approves the simply...
متن کاملMatrix representation of a sixth order Sturm-Liouville problem and related inverse problem with finite spectrum
In this paper, we find matrix representation of a class of sixth order Sturm-Liouville problem (SLP) with separated, self-adjoint boundary conditions and we show that such SLP have finite spectrum. Also for a given matrix eigenvalue problem $HX=lambda VX$, where $H$ is a block tridiagonal matrix and $V$ is a block diagonal matrix, we find a sixth order boundary value problem of Atkin...
متن کاملInverse semigroups with rational word problem are finite
This note proves a generalisation to inverse semigroups of Anisimov's theorem that a group has regular word problem if and only if it is finite, answering a question of Stuart Margolis. The notion of word problem used is the two-tape word problem – the set of all pairs of words over a generating set for the semigroup which both represent the same element.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: LMS Journal of Computation and Mathematics
سال: 2015
ISSN: 1461-1570
DOI: 10.1112/s1461157014000412